منابع مشابه
Über die Effizienz des Automatischen Testens
Wir analysieren die Effizienz des zufälligen und systematischen Ansatzes zum automatischen Programmtesten. Dabei nutzen wir wenige, einfache, jedoch realistische Annahmen um ein generelles probabilistisches Modell für das Softwaretesten zu entwickeln. Die zwei wichtigsten Ziele des automatischen Softwaretestens sind (i) in minimaler Zeit mit einem gewissen Zuversichtsgrad x festzustellen, daß d...
متن کاملDerivate des Benzo[1.3]dioxols, 44 [1] Darstellung von p-chinoiden Brenzkatechinmethylenethern
F r a n z D a l l a c k e r * , G e r m a n u s R e i c h r a t h u n d G e r a r d S c h n a c k e r s Institut für Organische Chemie der Technischen Hochschule Aachen, Prof.-Pirlet-Straße 1, D-5100 Aachen Z. Naturforsch. 34b, 624-632 (1979); eingegangen am 13. November 1978 5,6-Dimethyl-l,3-benzodioxole-4,7-quinone, 6,7-Dimethyl-l,4-benzodioxan-5,8-quinone, 7,8 -Dimethyl 3,4 -dihy dro 2 H -1,...
متن کاملDie Schrift des Rufus von Ephesos über die Gelbsucht
The greater part of this book is devoted to a study of Aristotle's theory of heredity in the De generatione animalium. Morsink argued that Aristotle is there engaging in dialectical dispute against the pangenesis theory of inheritance as advocated in "Hippocrates" On semen and On the nature of the child, and that Aristotle's own explanation in terms of form provided by the male parent and matte...
متن کاملWas ist Informatik-Didaktik? Gedanken über die Fachkenntniss des Informatiklehrers
Zusammenfassung. Die steigende Nachfrage nach Informatikunterricht verschiedener Art (an öffentlichen und Berufsschulen, innerbetriebliche Aus-und Weiterbildung etc) wirft die Frage der geeigneten Ausbildung der Lehrkräfte auf. Der Artikel beschreibt den Kern eines für Mathematik-und Informatik-Studenten konzipierten Ausbildungsgangs für zukünftige Informatik-Lehrkräfte. Algorithmen und Datenst...
متن کاملWas können wir über Unternehmensplanspiele hinsichtlich des unternehmerischen Entscheidungsverhaltens lernen?
Eine wichtige Voraussetzung für eine aussagekräftige Politikfolgenabschätzung sind Kenntnisse darüber, mit welchen ökonomischen Modellen die Entscheidungen realer Akteure prognostiziert werden können. Der damit verbundenen Frage, in welchem Maße und warum Menschen begrenzt rational handeln, gehen wir mit Hilfe eines Unternehmensplanspiels nach. Die Ergebnisse deuten darauf hin, dass unternehmer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Berichte der deutschen chemischen Gesellschaft
سال: 1909
ISSN: 0365-9496,1099-0682
DOI: 10.1002/cber.19090420153